Über die Oxydation ungesättigter Säuren mit Caros Reagens

Kommunikation mit harten Echtzeitanforderungen über die Middleware FAMOUSO

Über die Berechnung der inversen Matrix mit Hilfe der Intervallrechnung

I Berechnet man zu einer nichtsingulären Matrix ~ die Inverse auf einer Rechenanlage, so wird das Resultat durch die unvermeidlichen Rundungsfehler verfälscht. Will man nun die Rundungsfehler mit berücksichtigen, so führt dies auf die Aufgabe, die Inverse möglichst gut in Schranken einzuschließen. Bei der Lösung dieser Aufgabe machen wir Gebrauch von den in [1]"beschriebenen Verknüpfungen für I...

Routing über Flächen mit SpiderWebGraph

Navigationssysteme und Routenplaner können problemlos über Graphen mit Knoten und Kanten die kürzeste, schnellste oder energieeffizienteste Route finden. In dem Fall, dass sich auf der Route zum Ziel ein Polygon befindet, wird dieses umfahren. In einem realen Beispiel sieht dies wie folgt aus: Angenommen ein Fußgänger will von A nach B über einen Marktplatz oder großen Parkplatz gehen. Ein herk...

Bericht über die GWAI'90

Worten: elf) aus der (zur Zeit der Abfassung des Berichts) "Noch-DDR" (ich hoffe, daß Ingrid Matthäus-Meier Recht behält, die einmal anläßlich einer Parlamentsdebatte gesagt hat: "Ein Kennzeichen der deutschen Sprache ist ihre Unkaputtmachbarkeit.").

Über die Präzision interprozeduraler Analysen

In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both approaches coincide. This property is pres...